A Process Modelling Framework for Formal Validation of Panama Canal System Operations
نویسندگان
چکیده
In this paper we develop a process modeling framework for the evaluation and formal validation of Panama Canal system operations. Componentand architecture-level processes are organized into a three level hierarchy and modeled in LTSA. Safety and progress requirements are formally expressed as processes that can be evaluated through compositional and search processes, respectively.
منابع مشابه
Formal Modelling and Verification of Trust in a Pervasive Application
Issue Date Detail of changes 1.0 25/06/04 First Draft submitted to DTI. Executive summary This report is deliverable WP4-01 of the project " Trusted Software Agents and Services for Pervasive Information Environments. " The deliverable reports on the activities of formal modelling and verification of a pervasive application which follows from previous results in the project. The pervasive appli...
متن کاملPANAMA CANAL SIMULATION MODEL Javad
This paper presents the development process of the Panama Canal Simulation Model (PCSM). The PCSM was developed by The SABRE Group (SABRE) for the Panama Canal Commission (PCC) to be used in assessing pilot working conditions, and as a permanent tool in evaluating canal capacity under different operating conditions.
متن کاملA Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems
In the context of railway signalling systems, time related features play a relevant role at the validation process and specialists are more and more confronted with the necessity of applying formal methods as mean of preventing software faults. UML offers a standard notation for high quality systems modelling, however its current lack of formal semantics explains the existence of few tools supp...
متن کاملModelling an Aircraft Landing System in Event-B (Full Report)
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach to verify the correctness of critical systems, overcoming limitations of the traditional validation techniques such as simulation and testing. The increasin...
متن کاملJ4.10 Operational Rainfall and Flow Forecasting for the Panama Canal Watershed
In 1998 and as part of a science cooperation and technology transfer effort, the Hydrologic Research Center (HRC) and collaborators designed and implemented at the Panama Canal Authority (PCA) a prototype forecasting system for the real time rainfall forecasting over a number of small sub-catchments of the 3,200-sqkm mountainous Panama Canal Watershed in Panama (Figure 1). The system (called PA...
متن کامل